To accompany the name change I suggest the addition of a header file named Arduino_Modulino.h, and changing the examples to use that file in the #include directive instead of Modulino.h.

The reason is that the match between the library name and the header file name is a factor in library discovery:

https://arduino.github.io/arduino-cli/dev/sketch-build-process/#library-name-priority

So it is best practices that, in a case like this where a library has a primary header file, that filename match the library name. This will reduce the chance of ambiguity in the library discovery.

This can be done in a non-breaking manner by leaving the existing Modulino.h file in place. One of the two header files should simply contain an #include directive for the other file. For example:

Arduino_Modulino.h:

#include "Modulino.h"

To accompany bbd884d, please change this line:

https://github.com/arduino-libraries/Modulino/blob/bbd884d508d65ce8d59f84bf7e7a6e1634d340de/library.properties#L10

to:

includes=Arduino_Modulino.h

Reference:

https://arduino.github.io/arduino-cli/dev/library-specification/#libraryproperties-file-format:~:text=structure%20is%20required.-,includes,-%2D%20(available%20from

Thanks Davide!

Thanks!